<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html lang="en">

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <title>LCOV - lcov.info.p - core/contracts/protocol/tokenization/src/core/contracts/protocol/tokenization/AToken.sol</title>
  <link rel="stylesheet" type="text/css" href="../../../../../../../../../gcov.css">
</head>

<body>

          <table width="100%" border=0 cellspacing=0 cellpadding=0>
            <tr><td class="title">LCOV - code coverage report</td></tr>
            <tr><td class="ruler"><img src="../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>

            <tr>
              <td width="100%">
                <table cellpadding=1 border=0 width="100%">
          <tr>
            <td width="10%" class="headerItem">Current view:</td>
            <td width="10%" class="headerValue"><a href="../../../../../../../../../index.html">top level</a> - <a href="index.html">core/contracts/protocol/tokenization/src/core/contracts/protocol/tokenization</a> - AToken.sol<span style="font-size: 80%;"> (source / <a href="AToken.sol.func-c.html">functions</a>)</span></td>
            <td width="5%"></td>
            <td width="5%"></td>
            <td width="5%" class="headerCovTableHead">Coverage</td>
            <td width="5%" class="headerCovTableHead" title="Covered + Uncovered code">Total</td>
            <td width="5%" class="headerCovTableHead" title="Exercised code only">Hit</td>
          </tr>
          <tr>
            <td class="headerItem">Test:</td>
            <td class="headerValue">lcov.info.p</td>
            <td></td>
            <td class="headerItem">Lines:</td>
            <td class="headerCovTableEntryHi">100.0&nbsp;%</td>
            <td class="headerCovTableEntry">37</td>
            <td class="headerCovTableEntry">37</td>
          </tr>
          <tr>
            <td class="headerItem">Test Date:</td>
            <td class="headerValue">2024-04-09 14:12:28</td>
            <td></td>
            <td class="headerItem">Functions:</td>
            <td class="headerCovTableEntryHi">100.0&nbsp;%</td>
            <td class="headerCovTableEntry">16</td>
            <td class="headerCovTableEntry">16</td>
          </tr>
          <tr>
            <td></td>
            <td></td>
            <td></td>
            <td class="headerItem">Branches:</td>
            <td class="headerCovTableEntryHi">-</td>
            <td class="headerCovTableEntry">0</td>
            <td class="headerCovTableEntry">0</td>
          </tr>
                  <tr><td><img src="../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
                </table>
              </td>
            </tr>

            <tr><td class="ruler"><img src="../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
          </table>

          <table cellpadding=0 cellspacing=0 border=0>
            <tr>
              <td><br></td>
            </tr>
            <tr>
              <td>
<pre class="sourceHeading">             Branch data     Line data    Source code</pre>
<pre class="source">
<span id="L1"><span class="lineNum">       1</span>                 :             : // SPDX-License-Identifier: BUSL-1.1</span>
<span id="L2"><span class="lineNum">       2</span>                 :             : pragma solidity ^0.8.10;</span>
<span id="L3"><span class="lineNum">       3</span>                 :             : </span>
<span id="L4"><span class="lineNum">       4</span>                 :             : import {IERC20} from '../../dependencies/openzeppelin/contracts/IERC20.sol';</span>
<span id="L5"><span class="lineNum">       5</span>                 :             : import {GPv2SafeERC20} from '../../dependencies/gnosis/contracts/GPv2SafeERC20.sol';</span>
<span id="L6"><span class="lineNum">       6</span>                 :             : import {SafeCast} from '../../dependencies/openzeppelin/contracts/SafeCast.sol';</span>
<span id="L7"><span class="lineNum">       7</span>                 :             : import {VersionedInitializable} from '../libraries/aave-upgradeability/VersionedInitializable.sol';</span>
<span id="L8"><span class="lineNum">       8</span>                 :             : import {Errors} from '../libraries/helpers/Errors.sol';</span>
<span id="L9"><span class="lineNum">       9</span>                 :             : import {WadRayMath} from '../libraries/math/WadRayMath.sol';</span>
<span id="L10"><span class="lineNum">      10</span>                 :             : import {IPool} from '../../interfaces/IPool.sol';</span>
<span id="L11"><span class="lineNum">      11</span>                 :             : import {IAToken} from '../../interfaces/IAToken.sol';</span>
<span id="L12"><span class="lineNum">      12</span>                 :             : import {IAaveIncentivesController} from '../../interfaces/IAaveIncentivesController.sol';</span>
<span id="L13"><span class="lineNum">      13</span>                 :             : import {IInitializableAToken} from '../../interfaces/IInitializableAToken.sol';</span>
<span id="L14"><span class="lineNum">      14</span>                 :             : import {ScaledBalanceTokenBase} from './base/ScaledBalanceTokenBase.sol';</span>
<span id="L15"><span class="lineNum">      15</span>                 :             : import {IncentivizedERC20} from './base/IncentivizedERC20.sol';</span>
<span id="L16"><span class="lineNum">      16</span>                 :             : import {EIP712Base} from './base/EIP712Base.sol';</span>
<span id="L17"><span class="lineNum">      17</span>                 :             : </span>
<span id="L18"><span class="lineNum">      18</span>                 :             : /**</span>
<span id="L19"><span class="lineNum">      19</span>                 :             :  * @title Aave ERC20 AToken</span>
<span id="L20"><span class="lineNum">      20</span>                 :             :  * @author Aave</span>
<span id="L21"><span class="lineNum">      21</span>                 :             :  * @notice Implementation of the interest bearing token for the Aave protocol</span>
<span id="L22"><span class="lineNum">      22</span>                 :             :  */</span>
<span id="L23"><span class="lineNum">      23</span>                 :             : abstract contract AToken is VersionedInitializable, ScaledBalanceTokenBase, EIP712Base, IAToken {</span>
<span id="L24"><span class="lineNum">      24</span>                 :             :   using WadRayMath for uint256;</span>
<span id="L25"><span class="lineNum">      25</span>                 :             :   using SafeCast for uint256;</span>
<span id="L26"><span class="lineNum">      26</span>                 :             :   using GPv2SafeERC20 for IERC20;</span>
<span id="L27"><span class="lineNum">      27</span>                 :             : </span>
<span id="L28"><span class="lineNum">      28</span>                 :             :   bytes32 public constant PERMIT_TYPEHASH =</span>
<span id="L29"><span class="lineNum">      29</span>                 :             :     keccak256('Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)');</span>
<span id="L30"><span class="lineNum">      30</span>                 :             : </span>
<span id="L31"><span class="lineNum">      31</span>                 :             :   address internal _treasury;</span>
<span id="L32"><span class="lineNum">      32</span>                 :             :   address internal _underlyingAsset;</span>
<span id="L33"><span class="lineNum">      33</span>                 :             : </span>
<span id="L34"><span class="lineNum">      34</span>                 :             :   /**</span>
<span id="L35"><span class="lineNum">      35</span>                 :             :    * @dev Constructor.</span>
<span id="L36"><span class="lineNum">      36</span>                 :             :    * @param pool The address of the Pool contract</span>
<span id="L37"><span class="lineNum">      37</span>                 :             :    */</span>
<span id="L38"><span class="lineNum">      38</span>                 :             :   constructor(</span>
<span id="L39"><span class="lineNum">      39</span>                 :             :     IPool pool</span>
<span id="L40"><span class="lineNum">      40</span>                 :             :   ) ScaledBalanceTokenBase(pool, 'ATOKEN_IMPL', 'ATOKEN_IMPL', 0) EIP712Base() {</span>
<span id="L41"><span class="lineNum">      41</span>                 :             :     // Intentionally left blank</span>
<span id="L42"><span class="lineNum">      42</span>                 :             :   }</span>
<span id="L43"><span class="lineNum">      43</span>                 :             : </span>
<span id="L44"><span class="lineNum">      44</span>                 :             :   /// @inheritdoc IInitializableAToken</span>
<span id="L45"><span class="lineNum">      45</span>                 :             :   function initialize(</span>
<span id="L46"><span class="lineNum">      46</span>                 :             :     IPool initializingPool,</span>
<span id="L47"><span class="lineNum">      47</span>                 :             :     address treasury,</span>
<span id="L48"><span class="lineNum">      48</span>                 :             :     address underlyingAsset,</span>
<span id="L49"><span class="lineNum">      49</span>                 :             :     IAaveIncentivesController incentivesController,</span>
<span id="L50"><span class="lineNum">      50</span>                 :             :     uint8 aTokenDecimals,</span>
<span id="L51"><span class="lineNum">      51</span>                 :             :     string calldata aTokenName,</span>
<span id="L52"><span class="lineNum">      52</span>                 :             :     string calldata aTokenSymbol,</span>
<span id="L53"><span class="lineNum">      53</span>                 :             :     bytes calldata params</span>
<span id="L54"><span class="lineNum">      54</span>                 :             :   ) public virtual;</span>
<span id="L55"><span class="lineNum">      55</span>                 :             : </span>
<span id="L56"><span class="lineNum">      56</span>                 :             :   /// @inheritdoc IAToken</span>
<span id="L57"><span class="lineNum">      57</span>                 :<span class="tlaGNC tlaBgGNC">       12594 :   function mint(</span></span>
<span id="L58"><span class="lineNum">      58</span>                 :             :     address caller,</span>
<span id="L59"><span class="lineNum">      59</span>                 :             :     address onBehalfOf,</span>
<span id="L60"><span class="lineNum">      60</span>                 :             :     uint256 amount,</span>
<span id="L61"><span class="lineNum">      61</span>                 :             :     uint256 index</span>
<span id="L62"><span class="lineNum">      62</span>                 :             :   ) external virtual override onlyPool returns (bool) {</span>
<span id="L63"><span class="lineNum">      63</span>                 :<span class="tlaGNC">       37779 :     return _mintScaled(caller, onBehalfOf, amount, index);</span></span>
<span id="L64"><span class="lineNum">      64</span>                 :             :   }</span>
<span id="L65"><span class="lineNum">      65</span>                 :             : </span>
<span id="L66"><span class="lineNum">      66</span>                 :             :   /// @inheritdoc IAToken</span>
<span id="L67"><span class="lineNum">      67</span>                 :<span class="tlaGNC">        7055 :   function burn(</span></span>
<span id="L68"><span class="lineNum">      68</span>                 :             :     address from,</span>
<span id="L69"><span class="lineNum">      69</span>                 :             :     address receiverOfUnderlying,</span>
<span id="L70"><span class="lineNum">      70</span>                 :             :     uint256 amount,</span>
<span id="L71"><span class="lineNum">      71</span>                 :             :     uint256 index</span>
<span id="L72"><span class="lineNum">      72</span>                 :             :   ) external virtual override onlyPool {</span>
<span id="L73"><span class="lineNum">      73</span>                 :<span class="tlaGNC">       14108 :     _burnScaled(from, receiverOfUnderlying, amount, index);</span></span>
<span id="L74"><span class="lineNum">      74</span>                 :<span class="tlaGNC">       21156 :     if (receiverOfUnderlying != address(this)) {</span></span>
<span id="L75"><span class="lineNum">      75</span>                 :<span class="tlaGNC">       12094 :       IERC20(_underlyingAsset).safeTransfer(receiverOfUnderlying, amount);</span></span>
<span id="L76"><span class="lineNum">      76</span>                 :             :     }</span>
<span id="L77"><span class="lineNum">      77</span>                 :             :   }</span>
<span id="L78"><span class="lineNum">      78</span>                 :             : </span>
<span id="L79"><span class="lineNum">      79</span>                 :             :   /// @inheritdoc IAToken</span>
<span id="L80"><span class="lineNum">      80</span>                 :<span class="tlaGNC">           6 :   function mintToTreasury(uint256 amount, uint256 index) external virtual override onlyPool {</span></span>
<span id="L81"><span class="lineNum">      81</span>                 :<span class="tlaGNC">          12 :     if (amount == 0) {</span></span>
<span id="L82"><span class="lineNum">      82</span>                 :<span class="tlaGNC">          12 :       return;</span></span>
<span id="L83"><span class="lineNum">      83</span>                 :             :     }</span>
<span id="L84"><span class="lineNum">      84</span>                 :<span class="tlaGNC">          10 :     _mintScaled(address(POOL), _treasury, amount, index);</span></span>
<span id="L85"><span class="lineNum">      85</span>                 :             :   }</span>
<span id="L86"><span class="lineNum">      86</span>                 :             : </span>
<span id="L87"><span class="lineNum">      87</span>                 :             :   /// @inheritdoc IAToken</span>
<span id="L88"><span class="lineNum">      88</span>                 :<span class="tlaGNC">        6015 :   function transferOnLiquidation(</span></span>
<span id="L89"><span class="lineNum">      89</span>                 :             :     address from,</span>
<span id="L90"><span class="lineNum">      90</span>                 :             :     address to,</span>
<span id="L91"><span class="lineNum">      91</span>                 :             :     uint256 value</span>
<span id="L92"><span class="lineNum">      92</span>                 :             :   ) external virtual override onlyPool {</span>
<span id="L93"><span class="lineNum">      93</span>                 :             :     // Being a normal transfer, the Transfer() and BalanceTransfer() are emitted</span>
<span id="L94"><span class="lineNum">      94</span>                 :             :     // so no need to emit a specific event here</span>
<span id="L95"><span class="lineNum">      95</span>                 :<span class="tlaGNC">       12028 :     _transfer(from, to, value, false);</span></span>
<span id="L96"><span class="lineNum">      96</span>                 :             :   }</span>
<span id="L97"><span class="lineNum">      97</span>                 :             : </span>
<span id="L98"><span class="lineNum">      98</span>                 :             :   /// @inheritdoc IERC20</span>
<span id="L99"><span class="lineNum">      99</span>                 :<span class="tlaGNC">       15189 :   function balanceOf(</span></span>
<span id="L100"><span class="lineNum">     100</span>                 :             :     address user</span>
<span id="L101"><span class="lineNum">     101</span>                 :             :   ) public view virtual override(IncentivizedERC20, IERC20) returns (uint256) {</span>
<span id="L102"><span class="lineNum">     102</span>                 :<span class="tlaGNC">       45567 :     return super.balanceOf(user).rayMul(POOL.getReserveNormalizedIncome(_underlyingAsset));</span></span>
<span id="L103"><span class="lineNum">     103</span>                 :             :   }</span>
<span id="L104"><span class="lineNum">     104</span>                 :             : </span>
<span id="L105"><span class="lineNum">     105</span>                 :             :   /// @inheritdoc IERC20</span>
<span id="L106"><span class="lineNum">     106</span>                 :<span class="tlaGNC">       10945 :   function totalSupply() public view virtual override(IncentivizedERC20, IERC20) returns (uint256) {</span></span>
<span id="L107"><span class="lineNum">     107</span>                 :<span class="tlaGNC">       32835 :     uint256 currentSupplyScaled = super.totalSupply();</span></span>
<span id="L108"><span class="lineNum">     108</span>                 :             : </span>
<span id="L109"><span class="lineNum">     109</span>                 :<span class="tlaGNC">       21890 :     if (currentSupplyScaled == 0) {</span></span>
<span id="L110"><span class="lineNum">     110</span>                 :<span class="tlaGNC">        3568 :       return 0;</span></span>
<span id="L111"><span class="lineNum">     111</span>                 :             :     }</span>
<span id="L112"><span class="lineNum">     112</span>                 :             : </span>
<span id="L113"><span class="lineNum">     113</span>                 :<span class="tlaGNC">       27483 :     return currentSupplyScaled.rayMul(POOL.getReserveNormalizedIncome(_underlyingAsset));</span></span>
<span id="L114"><span class="lineNum">     114</span>                 :             :   }</span>
<span id="L115"><span class="lineNum">     115</span>                 :             : </span>
<span id="L116"><span class="lineNum">     116</span>                 :             :   /// @inheritdoc IAToken</span>
<span id="L117"><span class="lineNum">     117</span>                 :<span class="tlaGNC">        7018 :   function RESERVE_TREASURY_ADDRESS() external view override returns (address) {</span></span>
<span id="L118"><span class="lineNum">     118</span>                 :<span class="tlaGNC">       14036 :     return _treasury;</span></span>
<span id="L119"><span class="lineNum">     119</span>                 :             :   }</span>
<span id="L120"><span class="lineNum">     120</span>                 :             : </span>
<span id="L121"><span class="lineNum">     121</span>                 :             :   /// @inheritdoc IAToken</span>
<span id="L122"><span class="lineNum">     122</span>                 :<span class="tlaGNC">        1005 :   function UNDERLYING_ASSET_ADDRESS() external view override returns (address) {</span></span>
<span id="L123"><span class="lineNum">     123</span>                 :<span class="tlaGNC">        2010 :     return _underlyingAsset;</span></span>
<span id="L124"><span class="lineNum">     124</span>                 :             :   }</span>
<span id="L125"><span class="lineNum">     125</span>                 :             : </span>
<span id="L126"><span class="lineNum">     126</span>                 :             :   /// @inheritdoc IAToken</span>
<span id="L127"><span class="lineNum">     127</span>                 :<span class="tlaGNC">        9110 :   function transferUnderlyingTo(address target, uint256 amount) external virtual override onlyPool {</span></span>
<span id="L128"><span class="lineNum">     128</span>                 :<span class="tlaGNC">       18218 :     IERC20(_underlyingAsset).safeTransfer(target, amount);</span></span>
<span id="L129"><span class="lineNum">     129</span>                 :             :   }</span>
<span id="L130"><span class="lineNum">     130</span>                 :             : </span>
<span id="L131"><span class="lineNum">     131</span>                 :             :   /// @inheritdoc IAToken</span>
<span id="L132"><span class="lineNum">     132</span>                 :<span class="tlaGNC">        9039 :   function handleRepayment(</span></span>
<span id="L133"><span class="lineNum">     133</span>                 :             :     address user,</span>
<span id="L134"><span class="lineNum">     134</span>                 :             :     address onBehalfOf,</span>
<span id="L135"><span class="lineNum">     135</span>                 :             :     uint256 amount</span>
<span id="L136"><span class="lineNum">     136</span>                 :             :   ) external virtual override onlyPool {</span>
<span id="L137"><span class="lineNum">     137</span>                 :             :     // Intentionally left blank</span>
<span id="L138"><span class="lineNum">     138</span>                 :             :   }</span>
<span id="L139"><span class="lineNum">     139</span>                 :             : </span>
<span id="L140"><span class="lineNum">     140</span>                 :             :   /// @inheritdoc IAToken</span>
<span id="L141"><span class="lineNum">     141</span>                 :<span class="tlaGNC">          15 :   function permit(</span></span>
<span id="L142"><span class="lineNum">     142</span>                 :             :     address owner,</span>
<span id="L143"><span class="lineNum">     143</span>                 :             :     address spender,</span>
<span id="L144"><span class="lineNum">     144</span>                 :             :     uint256 value,</span>
<span id="L145"><span class="lineNum">     145</span>                 :             :     uint256 deadline,</span>
<span id="L146"><span class="lineNum">     146</span>                 :             :     uint8 v,</span>
<span id="L147"><span class="lineNum">     147</span>                 :             :     bytes32 r,</span>
<span id="L148"><span class="lineNum">     148</span>                 :             :     bytes32 s</span>
<span id="L149"><span class="lineNum">     149</span>                 :             :   ) external override {</span>
<span id="L150"><span class="lineNum">     150</span>                 :<span class="tlaGNC">          30 :     require(owner != address(0), Errors.ZERO_ADDRESS_NOT_VALID);</span></span>
<span id="L151"><span class="lineNum">     151</span>                 :             :     //solium-disable-next-line</span>
<span id="L152"><span class="lineNum">     152</span>                 :<span class="tlaGNC">          28 :     require(block.timestamp &lt;= deadline, Errors.INVALID_EXPIRATION);</span></span>
<span id="L153"><span class="lineNum">     153</span>                 :<span class="tlaGNC">          24 :     uint256 currentValidNonce = _nonces[owner];</span></span>
<span id="L154"><span class="lineNum">     154</span>                 :<span class="tlaGNC">          36 :     bytes32 digest = keccak256(</span></span>
<span id="L155"><span class="lineNum">     155</span>                 :             :       abi.encodePacked(</span>
<span id="L156"><span class="lineNum">     156</span>                 :             :         '\x19\x01',</span>
<span id="L157"><span class="lineNum">     157</span>                 :             :         DOMAIN_SEPARATOR(),</span>
<span id="L158"><span class="lineNum">     158</span>                 :             :         keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, currentValidNonce, deadline))</span>
<span id="L159"><span class="lineNum">     159</span>                 :             :       )</span>
<span id="L160"><span class="lineNum">     160</span>                 :             :     );</span>
<span id="L161"><span class="lineNum">     161</span>                 :<span class="tlaGNC">          24 :     require(owner == ecrecover(digest, v, r, s), Errors.INVALID_SIGNATURE);</span></span>
<span id="L162"><span class="lineNum">     162</span>                 :<span class="tlaGNC">          20 :     _nonces[owner] = currentValidNonce + 1;</span></span>
<span id="L163"><span class="lineNum">     163</span>                 :<span class="tlaGNC">          20 :     _approve(owner, spender, value);</span></span>
<span id="L164"><span class="lineNum">     164</span>                 :             :   }</span>
<span id="L165"><span class="lineNum">     165</span>                 :             : </span>
<span id="L166"><span class="lineNum">     166</span>                 :             :   /**</span>
<span id="L167"><span class="lineNum">     167</span>                 :             :    * @notice Transfers the aTokens between two users. Validates the transfer</span>
<span id="L168"><span class="lineNum">     168</span>                 :             :    * (ie checks for valid HF after the transfer) if required</span>
<span id="L169"><span class="lineNum">     169</span>                 :             :    * @param from The source address</span>
<span id="L170"><span class="lineNum">     170</span>                 :             :    * @param to The destination address</span>
<span id="L171"><span class="lineNum">     171</span>                 :             :    * @param amount The amount getting transferred</span>
<span id="L172"><span class="lineNum">     172</span>                 :             :    * @param validate True if the transfer needs to be validated, false otherwise</span>
<span id="L173"><span class="lineNum">     173</span>                 :             :    */</span>
<span id="L174"><span class="lineNum">     174</span>                 :<span class="tlaGNC">        8086 :   function _transfer(address from, address to, uint256 amount, bool validate) internal virtual {</span></span>
<span id="L175"><span class="lineNum">     175</span>                 :<span class="tlaGNC">       14100 :     address underlyingAsset = _underlyingAsset;</span></span>
<span id="L176"><span class="lineNum">     176</span>                 :             : </span>
<span id="L177"><span class="lineNum">     177</span>                 :<span class="tlaGNC">       21150 :     uint256 index = POOL.getReserveNormalizedIncome(underlyingAsset);</span></span>
<span id="L178"><span class="lineNum">     178</span>                 :             : </span>
<span id="L179"><span class="lineNum">     179</span>                 :<span class="tlaGNC">       21150 :     uint256 fromBalanceBefore = super.balanceOf(from).rayMul(index);</span></span>
<span id="L180"><span class="lineNum">     180</span>                 :<span class="tlaGNC">       21150 :     uint256 toBalanceBefore = super.balanceOf(to).rayMul(index);</span></span>
<span id="L181"><span class="lineNum">     181</span>                 :             : </span>
<span id="L182"><span class="lineNum">     182</span>                 :<span class="tlaGNC">       14100 :     super._transfer(from, to, amount, index);</span></span>
<span id="L183"><span class="lineNum">     183</span>                 :             : </span>
<span id="L184"><span class="lineNum">     184</span>                 :<span class="tlaGNC">        7050 :     if (validate) {</span></span>
<span id="L185"><span class="lineNum">     185</span>                 :<span class="tlaGNC">        2072 :       POOL.finalizeTransfer(underlyingAsset, from, to, amount, fromBalanceBefore, toBalanceBefore);</span></span>
<span id="L186"><span class="lineNum">     186</span>                 :             :     }</span>
<span id="L187"><span class="lineNum">     187</span>                 :             : </span>
<span id="L188"><span class="lineNum">     188</span>                 :<span class="tlaGNC">       14098 :     emit BalanceTransfer(from, to, amount.rayDiv(index), index);</span></span>
<span id="L189"><span class="lineNum">     189</span>                 :             :   }</span>
<span id="L190"><span class="lineNum">     190</span>                 :             : </span>
<span id="L191"><span class="lineNum">     191</span>                 :             :   /**</span>
<span id="L192"><span class="lineNum">     192</span>                 :             :    * @notice Overrides the parent _transfer to force validated transfer() and transferFrom()</span>
<span id="L193"><span class="lineNum">     193</span>                 :             :    * @param from The source address</span>
<span id="L194"><span class="lineNum">     194</span>                 :             :    * @param to The destination address</span>
<span id="L195"><span class="lineNum">     195</span>                 :             :    * @param amount The amount getting transferred</span>
<span id="L196"><span class="lineNum">     196</span>                 :             :    */</span>
<span id="L197"><span class="lineNum">     197</span>                 :             :   function _transfer(address from, address to, uint128 amount) internal virtual override {</span>
<span id="L198"><span class="lineNum">     198</span>                 :<span class="tlaGNC">        2072 :     _transfer(from, to, amount, true);</span></span>
<span id="L199"><span class="lineNum">     199</span>                 :             :   }</span>
<span id="L200"><span class="lineNum">     200</span>                 :             : </span>
<span id="L201"><span class="lineNum">     201</span>                 :             :   /**</span>
<span id="L202"><span class="lineNum">     202</span>                 :             :    * @dev Overrides the base function to fully implement IAToken</span>
<span id="L203"><span class="lineNum">     203</span>                 :             :    * @dev see `EIP712Base.DOMAIN_SEPARATOR()` for more detailed documentation</span>
<span id="L204"><span class="lineNum">     204</span>                 :             :    */</span>
<span id="L205"><span class="lineNum">     205</span>                 :<span class="tlaGNC">           4 :   function DOMAIN_SEPARATOR() public view override(IAToken, EIP712Base) returns (bytes32) {</span></span>
<span id="L206"><span class="lineNum">     206</span>                 :<span class="tlaGNC">          48 :     return super.DOMAIN_SEPARATOR();</span></span>
<span id="L207"><span class="lineNum">     207</span>                 :             :   }</span>
<span id="L208"><span class="lineNum">     208</span>                 :             : </span>
<span id="L209"><span class="lineNum">     209</span>                 :             :   /**</span>
<span id="L210"><span class="lineNum">     210</span>                 :             :    * @dev Overrides the base function to fully implement IAToken</span>
<span id="L211"><span class="lineNum">     211</span>                 :             :    * @dev see `EIP712Base.nonces()` for more detailed documentation</span>
<span id="L212"><span class="lineNum">     212</span>                 :             :    */</span>
<span id="L213"><span class="lineNum">     213</span>                 :<span class="tlaGNC">           8 :   function nonces(address owner) public view override(IAToken, EIP712Base) returns (uint256) {</span></span>
<span id="L214"><span class="lineNum">     214</span>                 :<span class="tlaGNC">          24 :     return super.nonces(owner);</span></span>
<span id="L215"><span class="lineNum">     215</span>                 :             :   }</span>
<span id="L216"><span class="lineNum">     216</span>                 :             : </span>
<span id="L217"><span class="lineNum">     217</span>                 :             :   /// @inheritdoc EIP712Base</span>
<span id="L218"><span class="lineNum">     218</span>                 :<span class="tlaGNC">        3471 :   function _EIP712BaseId() internal view override returns (string memory) {</span></span>
<span id="L219"><span class="lineNum">     219</span>                 :<span class="tlaGNC">       10413 :     return name();</span></span>
<span id="L220"><span class="lineNum">     220</span>                 :             :   }</span>
<span id="L221"><span class="lineNum">     221</span>                 :             : </span>
<span id="L222"><span class="lineNum">     222</span>                 :             :   /// @inheritdoc IAToken</span>
<span id="L223"><span class="lineNum">     223</span>                 :<span class="tlaGNC">           3 :   function rescueTokens(address token, address to, uint256 amount) external override onlyPoolAdmin {</span></span>
<span id="L224"><span class="lineNum">     224</span>                 :<span class="tlaGNC">           4 :     require(token != _underlyingAsset, Errors.UNDERLYING_CANNOT_BE_RESCUED);</span></span>
<span id="L225"><span class="lineNum">     225</span>                 :<span class="tlaGNC">           2 :     IERC20(token).safeTransfer(to, amount);</span></span>
<span id="L226"><span class="lineNum">     226</span>                 :             :   }</span>
<span id="L227"><span class="lineNum">     227</span>                 :             : }</span>
        </pre>
              </td>
            </tr>
          </table>
          <br>

          <table width="100%" border=0 cellspacing=0 cellpadding=0>
            <tr><td class="ruler"><img src="../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
            <tr><td class="versionInfo">Generated by: <a href="https://github.com//linux-test-project/lcov" target="_parent">LCOV version 2.0-1</a></td></tr>
          </table>
          <br>

</body>
</html>
